Verifiable Autonomy Michael Fisher University of Liverpool, 11th September 2015 Formal Verification

Source URL: cgi.csc.liv.ac.uk

• Formal methods
• Theoretical computer science
• Cognitive science
• Logic in computer science
• Cybernetics
• Logic
• Artificial intelligence
• Runtime verification
• Intelligent agent
• Model checking
• Motivation
• Autonomy

Bank Capital and Lending Relationships∗ Michael Schwert† Fisher College of Business Ohio State University May 12, 2016

Source URL: files.conferencemanager.dk

Fisher Tensor Decomposition for Unconstrained Gait Recognition Wenjuan Gong, Michael Sapienza, and Fabio Cuzzolin Oxford Brookes University, UK {wgong,michael.sapienza-2011,fabio.cuzzolin}@brookes.ac.uk

Source URL: www.cip.ifi.lmu.de

Forthcoming in Informatik Spektrum http://link.springer.com/articles00287x 1 Engineering Moral Machines Michael Fisher, Christian List, Marija Slavkovik, and Alan Winfield1

Source URL: personal.lse.ac.uk

MICHAEL GAMER Dept. of English, 127 Fisher-Bennett Hall University of Pennsylvania Philadelphia, PA

Source URL: www.english.upenn.edu

Cass Fisher Associate Professor Department of Religious Studies University of South Florida 4202 East Fowler Avenue, CPR 107 Tampa, FL 33620

Source URL: religious-studies.usf.edu

• Religion
• Jewish philosophy
• Culture
• Guggenheim Fellows
• Reform Judaism
• Jewish theology
• Paul R. Mendes-Flohr
• Franz Rosenzweig
• Michael Fishbane
• Eugene Borowitz
• Jewish studies
• Kabbalah

UNM Student Publications Board Meeting Friday, April 15, 2011 Marron Hall, Rm. 131 Present: Leslie Donovan (Chair), V.B. Price, Michael Thorning, John Luna, Sunny Liu Ex-Officio: Jim Fisher, Chris Quintana, Jay Reidy Als

Source URL: pubboard.unm.edu

• Counterculture of the 1960s
• Donovan

UNM Student Publications Board Meeting Friday, April 29, 2011 Marron Hall, Rm. 131 Present: Leslie Donovan (Chair), V.B. Price, Michael Thorning, John Luna, Sunny Liu and Miguel Gandert Ex-Officio: Jim Fisher, Chris Quin

Source URL: pubboard.unm.edu

• Parliamentary procedure
• Donovan
• Adjournment
• Minutes

UNM Student Publications Board Meeting Friday, March 26, 2010 Marron Hall, Rm. 131 Present: Leslie Donovan (Chair), Miguel Gandert, V.B. Price, Michael Thorning, Cole Vertikoff Ex-Officio: Eva Dameron, Jim Fisher, Jennif

Source URL: pubboard.unm.edu

• Lobo
• Donovan
• Minutes

Health Risks Associated with the Use of Smokeless Tobacco Products: Analysis of a Nationally Representative Linked Mortality Data Set Michael Fisher, PhD, Susan Tan-Torres, MD, MPH, Mohamadi Sarkar, MPharm, PhD Altria Cl

Source URL: www.altria.com